COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Dear Professor Lee:
C00004 ENDMK
C⊗;
Dear Professor Lee:

	I am going to the Far East again in connection with lecturing
at the 20th anniversary meeting of the Research Institute of
Mathematical Sciences at Kyoto University.  I would like to take
the occasion to visit Taiwan again, this time for perhaps a week..
Naturally I would like to visit Tsinghua University again.

	The meeting in Kyoto is on Monday and Tuesday, May 23 and 24,
1983.  Tentatively, it would seeem convenient to spend the previous
week in Taiwan, but I'm not sure that my Japanese host, Professor
Takasu, doesn't have some other plan.

	Is a visit to your Department convenient in May?  Do you
have a preference as to timing?  Can your recommend other people
with whom I may have mutual interests?  I have new results
on the problem of representing common sense knowledge and
common sense reasoning in the computer, but I could also talk
about proving assertions about programs.

Sincerely,